HC: :checked:hover color fix for menuitems

https://bugzilla.gnome.org/show_bug.cgi?id=752969

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 59cff010546312322db3d06522865cd967f65005..9d1494b76eb655c4f8e6718c8220fb11ea25299a 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1530,8 +1530,6 @@ GtkCheckButton.text-button, GtkRadioButton.text-button {
     &:hover { color: mix($fg_color, $bg_color, 80%) }
     &:checked, &:active {
       -gtk-icon-source: -gtk-icontheme('#{$a}-checked-symbolic');
-      color: $fg_color;
-      &:hover { color: mix($fg_color, $bg_color, 80%); }
       &:insensitive {
         color: $insensitive_fg_color;
         &:backdrop { color: $insensitive_fg_color; }

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index dc3006af3e17b65f7ac8e1edf17e9febce363df6..1c30a28212b4aa52c931c307e2cbce373e80df13 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1728,10 +1728,7 @@ GtkCheckButton.text-button, GtkRadioButton.text-button {
   .check:hover {
     color: #323232; }
   .check:checked, .check:active {
-    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic");
-    color: #000; }
-    .check:checked:hover, .check:active:hover {
-      color: #323232; }
+    -gtk-icon-source: -gtk-icontheme("checkbox-checked-symbolic"); }
     .check:checked:insensitive, .check:active:insensitive {
       color: #7f7f7f; }
       .check:checked:insensitive:backdrop, .check:active:insensitive:backdrop {
@@ -1756,10 +1753,7 @@ GtkCheckButton.text-button, GtkRadioButton.text-button {
   .radio:hover {
     color: #323232; }
   .radio:checked, .radio:active {
-    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic");
-    color: #000; }
-    .radio:checked:hover, .radio:active:hover {
-      color: #323232; }
+    -gtk-icon-source: -gtk-icontheme("radio-checked-symbolic"); }
     .radio:checked:insensitive, .radio:active:insensitive {
       color: #7f7f7f; }
       .radio:checked:insensitive:backdrop, .radio:active:insensitive:backdrop {